Model-Theoretic Semantics 发音

释义 Definition

模型论语义学：形式语义学的一种方法，用模型（model）来刻画语言表达式与世界之间的对应关系，通过解释（interpretation）与满足关系（satisfaction）/真值条件（truth conditions）来定义句子何时为真、词语指称什么、量词如何作用等。常用于逻辑学、语言学（尤其是形式语义学）与计算语言学中。（该术语也可能在不同传统中与“蒙太格语义学”等相关。）

发音 Pronunciation (IPA)

/ˌmɑːdəl θiəˈrɛtɪk sɪˈmæntɪks/

例句 Examples

Model-theoretic semantics explains meaning using models and truth conditions.
模型论语义学用模型与真值条件来解释“意义”。

In model-theoretic semantics, a sentence is true in a model if the model satisfies the sentence under a given interpretation.
在模型论语义学中，若在某个给定解释下一个模型满足该句子，则该句子在该模型中为真。

词源 Etymology

该短语由 model-theoretic（模型论的） + semantics（语义学） 构成：

• model 源自拉丁语 modulus（尺度、度量标准），引申为“范式/模型”；
• theoretic 来自希腊语 theōria（观照、理论）；
• semantics 来自希腊语 sēma（标记、符号），表示“关于意义的研究”。
  合起来强调：用“模型论”的工具来研究与刻画“意义”。

相关词 Related Words

• Model Theory
• Formal Semantics
• Interpretation
• Satisfaction
• Structure
• Truth-Conditions
• Montague Grammar
• Possible Worlds

文学/经典著作 Literary Works

该术语与相关思想常见于以下逻辑学与形式语义学经典著作/论文的讨论中：

• Alfred Tarski：《The Concept of Truth in Formalized Languages》（形式化语言中的真概念）
• Chang & Keisler：《Model Theory》
• Wilfrid Hodges：《Model Theory》
• Richard Montague：〈Universal Grammar〉、〈The Proper Treatment of Quantification in Ordinary English〉
• Irene Heim & Angelika Kratzer：《Semantics in Generative Grammar》
• Barbara Partee, Alice ter Meulen & Robert Wall：《Mathematical Methods in Linguistics》（涉及形式语义与模型化方法）